Principles of verified numerical integration

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design of Oil Refineries Hydrogen Network Using Process Integration Principles

This paper describes the application of process integration principles to the design of oil refineries hydrogen network. In this regard, a design hierarchy as well as heuristics and required guidelines are proposed. The recommended rules compensate lack of procedure to the design and make the design process easier. The guiding principles of the design are based upon pinch technology and ext...

متن کامل

Verified Numerical Computation for Nonlinear Equations

After the introduction basic properties of interval arithmetic are discussed and different approaches are repeated by which one can compute verified numerical approximations for a solution of a nonlinear equation.

متن کامل

On Verified Numerical Computations in Convex Programming

This survey contains recent developments for computing verified results of convex constrained optimization problems, with emphasis on applications. Especially, we consider the computation of verified error bounds for non-smooth convex conic optimization in the framework of functional analysis, for linear programming, and for semidefinite programming. A discussion of important problem transforma...

متن کامل

A Verified Automatic Contour Integration Algorithm

Abstract. A verified automatic integration algorithm is proposed for calculating contour integration over complex field using numerical computations. The proposed algorithm is based on trapezoidal rule for angle. The error analysis of the method have been presented by several authors, however, these investigations are done basically for examining the rates of convergence, and several constants ...

متن کامل

Principles of Data Integration

The World Wide Web offers a vast array of data in many forms. The majority of this data is structured for presentation not to machines but to humans, in the form of HTML tables, lists, and forms-based search interfaces. These extremely heterogeneous sources were created by individuals around the world and cover a very broad collection of topics in over 100 languages. Building systems that offer...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Computational and Applied Mathematics

سال: 2007

ISSN: 0377-0427

DOI: 10.1016/j.cam.2005.07.040